Quantifiers In Discrete Mathematics